1.
Automated Technology for Verification and Analysis
by Namjoshi, Kedar S. (Bell La...
ISBN: 9783540755951
List Price: $99.00
2.
Verification, Model Checking, and Abstract Interpretation
by Emerson, E. Allen, Namjoshi...
ISBN: 9783540697350
List Price: $79.95
3.
Verification, Model Checking, And Abstract Interpretation 7th International Conference, Vmca...
by Namjoshi, Kedar S., Emerson...
ISBN: 9783540311393
List Price: $84.00